$\forall$$a$:rationals. (($a$ + {-}($a$)) = 0 $\in$ rationals) $\wedge$ (({-}($a$) + $a$) = 0 $\in$ rationals)